Fiber-reinforced composites (FRCs) are a novel group of dental materials characterized by fibrous fillers that are being ...
WeiterlesenThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
WeiterlesenThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
WeiterlesenThis book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...
WeiterlesenBased on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction ...
WeiterlesenThe book consists of two parts: the first discusses the fundamentals of matrix algebra in detail, while the second focuses ...
WeiterlesenThe book proposes a new methodology for realizing platform-centric design of complex systems, and presents a detailed plan ...
WeiterlesenSystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...
WeiterlesenA man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...
WeiterlesenBased on material assembled by Dr Jaap HR Schoen who was one of the few neuroanatomists to apply the Nauta method to human ...
WeiterlesenThe book gives a streamlined and systematic introduction to strongly continuous semigroups of bounded linear operators on ...
WeiterlesenSatellite navigation receivers are used to receive, process, and decode space-based navigation signals, such as those provided ...
WeiterlesenThis book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...
WeiterlesenThis book mainly focuses on the safe control of robot manipulators. The control schemes are mainly developed based on dynamic ...
WeiterlesenProvides the state-of-the-art development on security and privacy for cyber-physical systems (CPS) and industrial Internet ...
WeiterlesenANEMONA is a multi-agent system (MAS) methodology for holonic manufacturing system (HMS) analysis and design, based on HMS ...
WeiterlesenThis book uses modern biological knowledge to tackle the question: "What distinguishes living organisms from the non-living ...
WeiterlesenThis book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
WeiterlesenThis book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...
WeiterlesenPresents cybersecurity aspects of ubiquitous and growing IoT and Cyber Physical Systems. It also introduces a range of conceptual, ...
Weiterlesen